Knihy od autora Peter Dybjer

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Category Theory and Computer Science

   David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1175 Kč

   Koupit
2. 

   Types for Proofs and Programs

   Peter Dybjer, Bengt Nordström, Jan Smith | Springer, Berlin, 1995

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
3. 

   Applied Semantics

   Gilles Barthe, Peter Dybjer, Luis Pinto | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
4. 

   Types for Proofs and Programs

   Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith | Springer, Berlin, 2000

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit

Zboží můžete bez udání důvodů do měsíce vrátit. Zjistěte více